<html><body>The jEdit user's guide includes a keyboard shortcut
quick reference. Print it out; it's very handy.</body></html>
